- 双语例句 更多例句
该规范的语义是应当创建已引用对象的一个副本,并指定另一个名称。
互联网摘选
An Ontology-based Time Semantic Specification and Verification Approach for Web Service
一种基于Ontology的WEB服务时间约束定义及验证方法
互联网摘选
该方法采用XYZ/E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ/E规范的逻辑程序属性,实现了对测试用例中输出期望的Prolog自动推导求值。
互联网摘选
该方法分析了时序图的语义信息并添加语义约束规约生成可测试模型,从中提取相关信息生成有限状态机;
互联网摘选
DTD是一种基于语法的XML规范形式化定义,在考虑结构完整性约束时,一种基于pattern的XML规范形式化定义XSCs模式可以与其联合使用,使得生成的DTD具有更为丰富的语义。
互联网摘选
- 相关词组
- job specification工作规范;施工[工作]规范,职务一览表;
- semantic field语义场;
- semantic feature语义要素;
- semantic code[计] 语义代码;
- semantic tree语义树;
- semantic clash[计] 语义对撞;
- semantic meaning语义;
- semantic word语义字;
- semantic error语义误差;
- semantic unit[计] 语义单位;
- semantic pair语义对;
- semantic component语义部分[成分];
- semantic net语义网;
- semantic priming语义启动;
- semantic test语义检查;
- semantic check[计] 语义检查;
- semantic lock[计]语义锁定;
- modal semantic[计] 模态语义;
- semantic rule语义规则;
- semantic count语义数计;
- 今日热词
- 热门搜索
- multiply vt.& vi.乘;(使)相乘;乘以;(使)增加;(使)繁殖;增殖;成倍增加;迅速增加adv.多重地;多样地;复合地;多倍地
- fade v.变暗淡;褪色;逐渐消失;逐渐减弱;衰退,衰弱;
- 受益无穷 have unlimited benefits
- AIDS abbr.acquired immune deficiency syndrome 获得性免疫缺乏综合征(艾滋病);acute infectious diseases 急性传染病;aircraft integrated data system 飞行器集成数据系统;n.助手( aid的名词复数 );外援;辅助设备;帮助;
- mega adj.宏大的;精彩的;巨大的;极佳的
- river n.河,江;溪,巨流;
- purse n.钱包,钱袋;财力,财源;和包或钱袋相似的东西;女用小提包;vt.使皱起,噘起;
- mystery n.秘密,谜;奥秘;(宗教信仰的)奥义,奥秘,奥迹;;不可思议;神秘的人(或事物);神秘;神秘的事物;推理小说,推理剧;常作 mysteries 秘技,秘诀;(基督教的)圣餐礼;陌生而有趣的人(或事物);不可理解之事;疑案小说(或电影、戏剧);秘密的宗教仪式adj.神秘的;身份不明的
- you had me at hello 你从最初就拥有我;你一进门就征服我了;第一次见面时你就拥有了我
- free adj. 自由的;免费的;免税的;空闲的;adv. 免费地;自由地,无拘束地;一帆风顺地;
- line n.线条;皱纹;行,列;队伍;字行;对白;诗行;罚写;话语;绳;电话线;路线;铁轨;运输公司;轮廓;界线;防线;立场;方式;行业;种类;流水线;家系;排序;一条细线的可卡因;v.沿…排列成行;使有内衬;在…形成一层;
- I will beat you 我会打败你的
